Parallel inverter analysis using mathematical software
نویسندگان
چکیده
منابع مشابه
Timing Analysis of Parallel Software Using Abstract Execution
Execution Originally a program flow analysis for sequential programs [Gustafsson et al, 2006] Finds constraints on program flow through a kind of symbolic execution – “abstract execution” (AE) AE executes the program with abstract states, representing sets of real (“concrete”) states Can be seen as a a kind of value analysis (abstract interpretation) We have extended it with time [Gustafsson et...
متن کاملThe Analysis of Qualitative Study Data Using Software
The use of softwares for analyzing research data is increasing everyday. Making use of softwares specified for the analysis of qualitative data has begun since 20 years ago, and has been exposed to so many changes so far. Researchers have used the existing softwares such as word processors to facilitate the analysis practice, even before using specific softwares. Different softwares have severa...
متن کاملOn Document_centered Mathematical Component Software on Document_centered Mathematical Component Software on Document_centered Mathematical Component Software
xi
متن کاملToward Static Timing Analysis of Parallel Software
The current trend within computer, and even real-time, systems is to incorporate parallel hardware, e.g., multicore processors, and parallel software. Thus, the ability to safely analyse such parallel systems, e.g., regarding the timing behaviour, becomes necessary. Static timing analysis is an approach to mathematically derive safe bounds on the execution time of a program, when executed on a ...
متن کاملSoftware Refactoring Using Cooperative Parallel Evolutionary Algorithms
Code bad smells represent symptoms of poor implementation choices. Previous studies found that these smells make source code more difficult to maintain, possibly also increasing its fault-proneness. There are plethora of approaches that identify bad smells based on code analysis techniques. We propose, in this paper, to consider code-smells correction as a distributed problem. Different techniq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Facta universitatis - series: Electronics and Energetics
سال: 2006
ISSN: 0353-3670,2217-5997
DOI: 10.2298/fuee0601099h